* doc/misc/Makefile.in (mostlyclean): Delete *.toc.

diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog
index 9e7d98aaddab98115606cd9200f7e319061435c5..167462ef686069b29ee39eeca79d686a2698fd7e 100644 (file)
--- a/doc/misc/ChangeLog
+++ b/doc/misc/ChangeLog
@@ -1,5 +1,7 @@
 2010-10-09  Glenn Morris  <rgm@gnu.org>
 
+       * Makefile.in (mostlyclean): Delete *.toc.
+
        * Makefile.in: Use $< in rules.
 
        * Makefile.in (maintainer-clean): Remove harmless, long-standing error.

diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in
index 4b9117673c4526d5adc7e843d4027538d1da35f7..023831b9366cb4bd5f650d5d2e5bad91ffc05c7b 100644 (file)
--- a/doc/misc/Makefile.in
+++ b/doc/misc/Makefile.in
@@ -665,7 +665,7 @@ woman.pdf: ${srcdir}/woman.texi
 .PHONY: mostlyclean clean distclean maintainer-clean
 
 mostlyclean:
-       rm -f *.aux *.log *.cp *.cps *.fn *.fns *.ky *.kys \
+       rm -f *.aux *.log *.toc *.cp *.cps *.fn *.fns *.ky *.kys \
          *.op *.ops *.pg *.pgs *.tp *.tps *.vr *.vrs
        rm -f gnustmp.*